This has no "begin{document}" command, so it is more like an include file.  Building it will produce an error.
